About one method of solving systems of logical equations
Authors
-
Semenov S.M.
Vladivostok State University of Economics and Service
Vladivostok. Russia
Abstract
The method of finding amount of decisions of systems of logical equations is considered. The method is based on creating a decision tree and defining recurrentformulas for level N. Using the developed method gives a constructive approach for solving the task B15 of USE.
Keywords: systems of logical equations, decision tree, recurrent formulas, B15, USE.
Files